Project-Team Parkas
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Programming Languages for Cyber-Physical Systems
Efficient Compilation for Parallel and Distributed Computing
Validation and Proof of Compilers
Application Domains
Embedded Control Software
Hybrid Systems Design and Simulation
New Software and Platforms
Cmmtest
GCC
Heptagon
isl
Lem
Lucid Synchrone
Lucy-n
Ott
PPCG
ReactiveML
SundialsML
Zelus
Telamon
VĂ©lus
Tensor Comprehensions
Aftermath
MPPcodegen
MPP
Obelisk
New Results
Efficiently Subtyping Union Types
Fast and reliable unwinding via DWARF tables
Verified compilation of Lustre
Specifying multi-clock Lustre programs
The Zelus Language
Reactive Probabilistic Programming
Identification of matrix operations for Compute-In-Memory architectures from a high-level Machine Learning framework
Applying reinforcement learning to improve a branch-and-bound optimizing compiler
Bilateral Contracts and Grants with Industry
Bilateral Contracts with Industry
Bilateral Grants with Industry
Partnerships and Cooperations
National Initiatives
European Initiatives
International Initiatives
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2019
|
Presentation of the Project-Team PARKAS
|
PARKAS Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Bilateral Contracts and Grants with Industry
Bilateral Contracts with Industry
Collaboration with Airbus
Our work on multi-clock Lustre programs is funded by a contract with Airbus.
Previous |
Home
| Next